基于Z形式化规范的多Agent协作模型研究

用形式化规范语言Z定义了多A gen t协作模型的基本元素,包括:A gen t、目标、角色、交互协议和过程,给出了应满足的一致性约束,并通过城市区域的连锁超市物流调度系统说明了该形式化规范为多A gen t协作提供了一致性和连贯性。     

大学生武术运动员赛前心理训练法运用初探

在赛前武术训练过程中 ,根据大学生运动员的特点和体育心理学原理 ,科学地运用心理训练方法 ,结合技术训练改善训练质量、提高武术表现能力是非常有效的。本文对此进行了有益的探索     

动态通用查询方法的设计与实现

分析了在管理信息系统中研制通用查询技术的必要性和重要性 ,探讨了它的设计方法和实现技术 ,实际工程的应用证明了它的有效性。     

多传感器数据融合系统的数据库

以数据库对融合算法的支持为线索 ,以数据融合数据库的全面设计为目标 ,注意面向特征的考虑数据表征形式和组织结构 ,结合整个融合算法的性能要求分析数据库的设计基本理论。首先讨论了数据融合对于数据库的要求 ,总结和归纳了数据融合中涉及到的多种数据形式 ,明确了数据的特征 ,然后 ,分析了常用的几种数据库管理系统模式 ,为数据库系统实现提供依据 ,保证在现存应用软件基础上合理选择实现方案 ;最后 ,集中介绍了融合数据库的设计 ,从总体框架、组织结构、数据结构及实现流程等方面给数据库的设计作了简要的介绍 ,并且提取上述分析中的结论性内容 ,给出合理的融合数据设计建议     

YFRIO 实时I/O语言与YFSIM 仿真语言的同步关系

本文介绍ＹＦＲＩＯ语言和ＹＦＳＩＭ语言的同步关系,阐述了两者同步的硬件、软件机制,以及如何进行程序设计。     

主星带伴随微小卫星编队SAR系统的空间分辨率分析

根据主星带伴随微小卫星编队SAR系统的结构特点,建立了双站SAR系统的几何模型,然后推导分析了距离分辨率和方位向分辨率的解析表达式,最后仿真分析了以ENVISAT作为主星、"干涉车轮"的距离分辨率和方位向分辨率随主星到编队小卫星的距离、相对轨道高度的变化情况,并且与主星SAR的分辨率进行了比较。结果表明:(1)空间分辨率大小随波束入射角的变化基本上与主星一致;(2)空间分辨率随主星与伴随小卫星的距离增大而增大;(3)空间分辨率之差随微小卫星相对椭圆轨道短轴的增加而增加。     

微机上运行的多功能仿真语言GASP/PC

文中介绍了IRM-PC机上多功能仿真软件GASP/PC的开发,叙述了GASP/PC仿真语言的形成以及对于连续、离散和复合仿真模型的GASP/PC语言的结构与仿真方法。     

不确定法律概念生成原因析微

不确定的法律概念是法律中无法避免的客观事实,其生成不仅是由于语言本身的模糊性、多义性和不可定义性,也是语言本身的高度抽象性所致,更因为是立法者对于所要规范的事项无法完全预见,为了涵盖更广的规范对象,为了适应社会的变迁,而特意使用的相对模糊的概念形式。     

GSEIB 软件工程信息库图形规范子系统的设计与实现

软件信息库是集成化软件工程环境的核心。本文给出了一种图形化的软件过程与产品（ｓｏｆｔｗａｒｅｐｒｏｃｅｓｓａｎｄｐｒｏｄｕｃｔ）规范语言及其支撑环境的设计与实现。采用这种规范语言可对给定的软件开发项目进行规划,据此自动产生定做的软件信息库,从而真正反映和支持该软件工程项目的开发。     

浅析部队政治教育的语言特点

政治教育是基层政治工作的一个重要环节，课堂教育是政治教育的基本形式。部队政治教育的语言具有规范性、针对性、逻辑性和风趣性的特点，准确把握政治教育语言的特点和规律，对提升授课水平，提高教学质量，保持部队政治纯洁和思想稳定有着积极的作用。